2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
High-Level Verification: Methods and Tools for Verification of System-Level Designs
Sudipta Kundu
,
Sorin Lerner
,
Rajesh K. Gupta
2.01 Mb
#2
SPARK:: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits
Sumit Gupta
,
Rajesh Gupta
,
Nikil Dutt
,
Alexandru Nicolau
10.54 Mb
#3
Spark: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits
Sumit Gupta
,
Rajesh Gupta
,
Nikil Dutt
,
Alexandru Nicolau
12.94 Mb